@i: only L affects x : t(j) == if eqof(IdDeq)(j,i) only members of L affect x :t else  fi 

latex

Definitions	, only members of L affect x :t, IdDeq, eqof(d), if b t else f fi
FDL editor aliases	d-single-frame